formal detection

[计] 形式检测